<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">

<base target="main">
<script language="JavaScript">
<!-- Begin
function loadTop(url) {
  parent.location.href= url;
}
// -->
</script>
<LINK rel="stylesheet" type="text/css" href="ccured.css">
<TITLE>
Changes
</TITLE>
</HEAD>
<BODY >
<A HREF="ccured012.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="ccuredtoc.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="ccured014.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H1 CLASS="chapter"><A NAME="htoc90">Chapter&nbsp;13</A>&nbsp;&nbsp;Changes</H1><A NAME="sec-changes"></A><BR>
<BR>
Below are some of the changes in the CCured system. These are in addition to
<A HREF="../cil/changes.html">changes made to the underlying CIL infrastructure</A>
<UL CLASS="itemize"><LI CLASS="li-itemize">
<B>August 6, 2006</B>: <B>Released version 1.3.5</B>
<LI CLASS="li-itemize"><B>March 31, 2006</B>: Fix bugs with global initializers and
 errors that were being ignored in the choptim optimizer.
<LI CLASS="li-itemize"><B>November 1, 2005</B>: Improved the <FONT COLOR=blue>__SIZE</FONT> and
 <FONT COLOR=blue>__COUNT</FONT> annotations. See Section&nbsp;<A HREF="ccured009.html#sec-dependent">9.8</A>
<LI CLASS="li-itemize"><B>September 26, 2005</B>: Reenabled special handling of strings.
 This may break some code, so use &ndash;noStrings to turn it off.
<LI CLASS="li-itemize"><B>June 14, 2005</B>: Tagged unions now use the same tags as RTTI
 pointers, making them more flexible. See Section&nbsp;<A HREF="ccured009.html#sec-taggedunion">9.7</A>.
<LI CLASS="li-itemize"><B>January 11, 2005</B>: <B>Released version 1.3.2</B>
<LI CLASS="li-itemize"><B>January 11, 2003</B>: Fixed bug in strcpy wrapper. 
<LI CLASS="li-itemize"><B>September 14, 2004</B>: Fixed performance bug on gcc 3.0 and later.
<LI CLASS="li-itemize"><B>August 7, 2004</B>: <B>Released version 1.3.1</B>
<LI CLASS="li-itemize"><B>July 28, 2004</B>: Ocaml version 3.08 is required.
<LI CLASS="li-itemize"><B>February 20, 2004</B>: <B>Released version 1.2.4</B><BR>
<BR>
<LI CLASS="li-itemize"><B>February 15, 2004</B>: Inlined some of the <TT>mkptr</TT> and <TT>ptrof</TT>
 wrappers.
<LI CLASS="li-itemize"><B>February 14, 2004</B>: New implementation for discriminated unions.
<LI CLASS="li-itemize"><B>January 26, 2004</B>: Changed wrapper helpers such as
 __ptrof so that the can no longer be used to silently cast from
 one type to another.<BR>
<BR>
<LI CLASS="li-itemize"><B>January 19, 2004</B>: Changed the statistics to not include unused
 pointer nodes. 
<LI CLASS="li-itemize"><B>November 25, 2003</B>: <B>Released version 1.2.2</B>
<LI CLASS="li-itemize"><B>October 13, 2003</B>: Fixed the handling of polymorphic structures. <BR>
<BR>
<LI CLASS="li-itemize"><B>September 17, 2003: Released version 1.2.1.</B> This release includes
many fixes in the underlying CIL infrastructure.<BR>
<BR>
<LI CLASS="li-itemize"><B>April 8, 2003</B>: Started version numbering for CCured. Released
version 1.1.0, based on CIL 1.1.0.<BR>
<BR>
<LI CLASS="li-itemize"><B>April 7, 2003</B>: Fixes in the error messages and the control of
error logging and reporting. Fixed a bug in fat function argument splitting. <BR>
<BR>
<LI CLASS="li-itemize"><B>January 10, 2003</B>: Numerous changes, including to this manual.
<LI CLASS="li-itemize"><B>October 14, 2002</B>: CCured is now available under the BSD license
(see the License section or the file LICENSE). 
</UL>
<HR>
<A HREF="ccured012.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="ccuredtoc.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="ccured014.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
